On bounded second Riesz p(.)-variable~variation

p-Lambda-bounded variation

A characteriation of continuity of the $p$-$Lambda$-variation function is given and the Helly's selection principle for $Lambda BV^{(p)}$ functions is established. A characterization of the inclusion of Waterman-Shiba classes into classes of functions with given integral modulus of continuity is given. A useful estimate on modulus of variation of functions of class $Lambda BV^{(p)}$ is found.

On the (p,q)-Boundedness of Nonisotropic Spherical Riesz Potentials

p-lambda-bounded variation

a characteriation of continuity of the $p$-$lambda$-variation function is given and the helly's selection principle for $lambda bv^{(p)}$ functions is established. a characterization of the inclusion of waterman-shiba classes into classes of functions with given integral modulus of continuity is given. a useful estimate on modulus of variation of functions of class $lambda bv^{(p)}$ is found.

The Bounded Convergence Theorem for Riesz Space-Valued Choquet Integrals

The bounded convergence theorem on the Riesz space-valued Choquet integral is formalized for a sequence of measurable functions converging in measure and in distribution. 2010 Mathematics Subject Classification: Primary 28B15; Secondary 28A12, 28E10

BMC ’ 04 Second International Workshop on Bounded Model Checking

The work presented in this paper addresses the challenge of fully verifying complex temporal properties on large RTL designs. Windowed induction has been proposed by Sheeran, Singh, and Stalmarck as a technique augmenting Bounded Model Checking for unbounded verification of safety properties. While induction proved to be quite effective for combinational properties, the case of temporal propert...